antecedent of an implication

[数] 隐含式的前项

热门查询